Different Proofs are Good Proofs
نویسندگان
چکیده
In order to compare the quality of proofs, it is necessary to measure artifacts of the proofs, and evaluate the measurements to determine differences between the proofs. This paper discounts the approach of ranking proofs by their measured proof artifacts, and takes the position that different proofs are good proofs. The position is based on proofs in the TSTP solution library, which are generated by Automated Theorem Proving (ATP) systems applied to first-order logic problems in the TPTP problem library.
منابع مشابه
The logical structures of theological proofs, with an emphasis on the proof of love to God
This article has no abstract.
متن کاملThe place of hadith and its efficiency in Islamic ethics
The efficacies of hadith in Islamic ethics is concerned with the authenticity and inauthenticity of ethical hadiths. The authenticity of ethical ahadith is deeply connected to the problem of tolerance in the proofs of sunan which has led to the two views of tolerance and intolerance. In this paper, it has been argued that ethics and jurisprudence are two distinct fields and one can not agree wi...
متن کاملReconsidering Imamiyeh theologian`s proofs for infallibility of Imam until the end of fifth century
This article has no abstract.
متن کاملSome results on weakly contractive maps
In this paper direct proofs of some common fixed point results for two and three mappings under weak contractive conditions are given. Some of these results are improved by using different arguments of control functions. Examples are presented showing that some generalizations cannot be obtained and also that our results are distinct from the existing ones.
متن کاملنصاب حد سرقت در بوته نقد
The legislator of the Islamic criminal code in article 268 has stipulated that Theft shall be punishable by "hadd" punishment provided that some collective conditions are met, among them, The stolen property, at the time it was taken out from the herz [the secure place] has a value equal to 4.5 chickpea coined gold or a quarter of a dinar. This viewpoint, although strengthene...
متن کامل